1. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده: Thomas Streicher
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85


2. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده: / Thomas Streicher
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory
رده :
QA76
.
7
.
S82
1991

